discrete mathematics composition of relation